<?php
echo (int)'2700000001';
?>
